You have chosen The Gettier Problem, Semantics for Natural Languages and Semantics for Natural Languages.
All three must be different; choose another text.